<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>seL4 releases | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">seL4 releases</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">



      <ul class="nav nav-sidebar">
  
        <li class="">
          <a class="" href="/Resources.html">
            Resources
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/documentation.html">
            seL4 Documentation
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/frequently-asked-questions.html">
            seL4 FAQ
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/buildsystem/host-dependencies.html">
            Set up your machine
          </a>
        </li>
  
        <li class="">
          <a class="" href="/Hardware/">
            Supported platforms
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/available-user-components.html">
            Available components
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/roadmap.html">
            Roadmap
          </a>
        </li>
  
        <li class="">
          <a class="" href="/CommunityProjects.html">
            Community projects
          </a>
        </li>
  
        <li class="active">
          <a class="" href="/releases/sel4">
            Release Notes
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/api-doc.html">
            libsel4 API
          </a>
        </li>
  
        <li class="">
          <a class="" href="https://sel4.systems/Info/Docs/seL4-manual-latest.pdf">
            Current Manual
          </a>
        </li>
  
        <li class="">
          <a class="" href="/projects/sel4/verified-configurations.html">
            Verified Configurations
          </a>
        </li>
  
      </ul>














</div>

  </div>
  <div class="col-sm-8 col-md-9 col-lg-8 main">
    
    <div class="content">
      <h1 id="sel4-releases">seL4 releases</h1>

<p>This page documents tagged releases of the seL4 kernel and proofs, for documentation on the release
process we follow see <a href="/ReleaseProcess">here</a>.</p>

<h2 id="landmark-releases">Landmark releases</h2>

<p>This section documents the version at which specific features were introduced to seL4. For future
features, see <a href="/Status">seL4 status</a>. For other previous features, see the release notes below.</p>

<p><em>Verification Status</em> carries the following definitions and refers to the version specified in the
<a href="/ReleaseProcess#verified-manifests">verification manifest</a> tagged for that specific release.</p>

<ul>
  <li>No: As of this release, this feature is not verified.</li>
  <li>FC: the functional correctness proofs are complete.</li>
  <li>FCI: the integrity proofs are complete, in addition to functional correctness.</li>
  <li>Yes: this feature has functional correctness, integrity and infoflow proofs completed, for verified platforms, as of this release.</li>
</ul>

<p>For the verification status of all platforms, see <a href="/Hardware">Hardware</a>.</p>

<table>
  <thead>
    <tr>
      <th>Feature</th>
      <th>Hardware</th>
      <th>Verification status</th>
      <th>Available From</th>
    </tr>
  </thead>
  <tbody>
    <tr>
      <td>AARCH64 RPI3</td>
      <td><a href="/Hardware/Rpi3">RPI3</a></td>
      <td>No</td>
      <td><a href="seL4_10.1.0">10.1.0</a></td>
    </tr>
    <tr>
      <td>TX2 support (Aarch64 only)</td>
      <td><a href="/Hardware/JetsonTX2">TX2</a></td>
      <td>No</td>
      <td><a href="seL4_10.1.0">10.1.0</a></td>
    </tr>
    <tr>
      <td>Support for more than 1 VM</td>
      <td>ARM</td>
      <td>No</td>
      <td><a href="seL4_10.1.0">10.1.0</a></td>
    </tr>
    <tr>
      <td>32-bit RISC-V architecture support</td>
      <td>RISC-V (Spike simulation target)</td>
      <td>No</td>
      <td><a href="seL4_10.0.0">10.0.0</a></td>
    </tr>
    <tr>
      <td>64-bit RISC-V architecture support</td>
      <td>RISC-V (Spike simulation target)</td>
      <td>No</td>
      <td><a href="seL4_9.0.1">9.0.1</a></td>
    </tr>
    <tr>
      <td>Meltdown mitigation</td>
      <td>x86</td>
      <td>No</td>
      <td><a href="seL4_9.0.0">9.0.0</a></td>
    </tr>
    <tr>
      <td>Spectre mitigation</td>
      <td>x86</td>
      <td>No</td>
      <td><a href="seL4_9.0.0">9.0.0</a></td>
    </tr>
    <tr>
      <td>Zynq UltraScale+ MPSoC</td>
      <td>Xilinx ZCU102, ARMv8a, Cortex A53</td>
      <td>No</td>
      <td><a href="seL4_8.0.0">8.0.0</a></td>
    </tr>
    <tr>
      <td>Multiboot2 support</td>
      <td>x86</td>
      <td>No</td>
      <td><a href="seL4_8.0.0">8.0.0</a></td>
    </tr>
    <tr>
      <td>CMake based build system</td>
      <td>all</td>
      <td>N/A</td>
      <td><a href="seL4_7.0.0">7.0.0</a></td>
    </tr>
    <tr>
      <td>ARM 32-bit SMP</td>
      <td><a href="/Hardware/sabreLite">Sabre</a></td>
      <td>No</td>
      <td><a href="seL4_6.0.0">6.0.0</a></td>
    </tr>
    <tr>
      <td>ARMv7 32-bit FPU support</td>
      <td>ARM</td>
      <td>No</td>
      <td><a href="seL4_6.0.0">6.0.0</a></td>
    </tr>
    <tr>
      <td>ARM 64-bit support</td>
      <td>Aarch64</td>
      <td>No</td>
      <td><a href="seL4_5.0.0">5.0.0</a></td>
    </tr>
    <tr>
      <td>64-bit x86 support</td>
      <td>x86_64</td>
      <td>No</td>
      <td><a href="seL4_4.0.0">4.0.0</a></td>
    </tr>
    <tr>
      <td>Raspberry Pi 3 support</td>
      <td><a href="/Hardware/Rpi3">RPI3</a></td>
      <td>No</td>
      <td><a href="seL4_4.0.0">4.0.0</a></td>
    </tr>
    <tr>
      <td>ARM Hypervisor initial support</td>
      <td>ARM</td>
      <td>FC</td>
      <td><a href="seL4_3.2.0">3.2.0</a></td>
    </tr>
    <tr>
      <td>First ARMv8 support</td>
      <td><a href="/Hardware/HiKey">HiKey</a></td>
      <td>No</td>
      <td><a href="seL4_3.1.0">3.1.0</a></td>
    </tr>
    <tr>
      <td>NVIDIA Tegra K1 support</td>
      <td><a href="/Hardware/jetsontk1">TK1</a></td>
      <td>No</td>
      <td><a href="seL4_3.0.1">3.0.1</a></td>
    </tr>
    <tr>
      <td>Notification binding</td>
      <td>all</td>
      <td>Yes</td>
      <td><a href="seL4_2.0.0">2.0.0</a></td>
    </tr>
  </tbody>
</table>

<h2 id="master-verified-kernel">Master (verified kernel)</h2>

<p><a href="/releases/sel4/2.0.0.html">seL4 2.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-2.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/2.1.0.html">seL4 2.1.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-2.1.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/3.0.0.html">seL4 3.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-3.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/3.0.1.html">seL4 3.0.1</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-3.0.1.pdf">manual</a>)</p>

<p><a href="/releases/sel4/3.1.0.html">seL4 3.1.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-3.1.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/3.2.0.html">seL4 3.2.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-3.2.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/4.0.0.html">seL4 4.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-4.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/5.0.0.html">seL4 5.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-5.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/5.1.0.html">seL4 5.1.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-5.1.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/5.2.0.html">seL4 5.2.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-5.2.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/6.0.0.html">seL4 6.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-6.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/7.0.0.html">seL4 7.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-7.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/8.0.0.html">seL4 8.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-8.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/9.0.0.html">seL4 9.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-9.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/9.0.1.html">seL4 9.0.1</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-9.0.1.pdf">manual</a>)</p>

<p><a href="/releases/sel4/10.0.0.html">seL4 10.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-10.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/10.1.0.html">seL4 10.1.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-10.1.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/10.1.1.html">seL4 10.1.1</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-10.1.1.pdf">manual</a>)</p>

<p><a href="/releases/sel4/11.0.0.html">seL4 11.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-11.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/12.0.0.html">seL4 12.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-12.0.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/12.1.0.html">seL4 12.1.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-12.1.0.pdf">manual</a>)</p>

<p><a href="/releases/sel4/13.0.0.html">seL4 13.0.0</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-13.0.0.pdf">manual</a>)</p>

<h2 id="experimental-branches">Experimental Branches</h2>

<p>We occasionally pre-release experimental branches for community feedback and availability.</p>

<h3 id="mixed-criticality-support-mcs--realtime">Mixed Criticality Support (MCS) / Realtime</h3>

<p>As of seL4 version 11.0.0, this is now provided via the kernel configuration option <code class="language-plaintext highlighter-rouge">KernelIsMCS</code> in CAmkES which should be set to <code class="language-plaintext highlighter-rouge">ON</code> which switch the scheduler implementaiton and enable the MCS API.</p>

<p><a href="/releases/sel4/0.0.1-rt-dev.html">seL4 0.0.1-rt-dev</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-0.0.1-rt-dev.pdf">manual</a>)</p>

<p><a href="/releases/sel4/1.0.0-rt-dev.html">seL4 1.0.0-rt-dev</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-1.0.0-rt-dev.pdf">manual</a>)</p>

<p><a href="/releases/sel4/5.2.0-mcs.html">seL4 5.2.0-mcs</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-5.2.0-mcs.pdf">manual</a>)</p>

<p><a href="/releases/sel4/9.0.0-mcs.html">seL4 9.0.0-mcs</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-9.0.0-mcs.pdf">manual</a>)</p>

<p><a href="/releases/sel4/10.1.1-mcs.html">seL4 10.1.1-mcs</a>
(<a href="http://sel4.systems/Info/Docs/seL4-manual-10.1.1-mcs.pdf">manual</a>)</p>



    </div>
  </div>
</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
                Page last updated: Tue Jan 19 10:29:50 2021 +1100 90e3da7d86
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/projects/sel4/releases.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/projects/sel4/releases.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
